TEA-<i>Cloud</i>: A Formal Framework for Testing Cloud Computing Systems

The validation of a cloud system can be complicated by the size system, number users that concurrently request services, and virtualization used to give illusion using dedicated machines. Unfortunately, it is not feasible use conventional testing methods with systems. This article proposes framework, called TEA-Cloud, integrates simulation for validating designs. Testing applied on both functional nonfunctional aspects cloud, like performance cost. aim framework provide complete methodology help model software hardware parts systems automatically test validity these clouds cost-effective approach. Metamorphic overcome lack an oracle checks whether behavior observed in allowed. based metamorphic relations (MRs). We define three families MRs, which target issues such as performance, resource provisioning, TEA-Cloud was evaluated through empirical study fault seeding (mutation) ten MRs different configurations. results were promising, finding all seeded faults.